Adjuncts elimination in the static ambient logic
نویسندگان
چکیده
منابع مشابه
Adjuncts elimination in the static ambient logic
The Ambient Logic (AL) has been proposed for expressing spatial properties of processes of the Mobile Ambient calculus (MA). Restricting both the calculus and the logic to their static part yields static ambients (SA) and the static ambient logic (SAL), that form a model for queries about semistructured data. SAL also includes the non-standard fresh quantifier (I). This work adresses the questi...
متن کاملAdjunct Elimination Through Games in Static Ambient Logic
Spatial logics are used to reason locally about disjoint data structures. They consist of standard first-order logic constructs, spatial (structural) connectives and their corresponding adjuncts. Lozes has shown that the adjuncts add no expressive power to a spatial logic for analysing tree structures, a surprising and important result. He also showed that a related logic does not have this adj...
متن کاملSeparability in the Ambient Logic
The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semistructured data. We study some basic questions concerning the discriminating power of AL, focusing on the equivalence on processes induced by the logic (=L). As underlying calculi besides MA we consider a subcalculus in which a...
متن کاملFixed Points in the Ambient Logic
We present an extension of the ambient logic with fixed points operators in the style of the μ-calculus. We give a simple syntactic condition for the equivalence between minimal and maximal fixpoint formulas and show how to subsume spatial analogues of the usual box and diamond operators.
متن کاملStochastic Ambient Logic
We introduce the Stochastic Ambient Logic which extends the Ambient Logic with the probability operator and the steady state operator. The logic is useful for specifying properties of the Stochastic Mobile Ambients [14].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.04.021